Abstract Interpretation-based Code Certification for Pervasive Systems: Preliminary Experiments
نویسندگان
چکیده
Interpretation-based Code Certification for Pervasive Systems: Preliminary Experiments Elvira Albert ^chool of Computer Science Complutense University of Madrid [email protected] Germán Puebla School of Computer Science Technical University of Madrid {german,herme}@f¡. upm.es Manuel HermenegildoDepartments of Computer Science and Electrical and Computer Engineering University of New México
منابع مشابه
Proceedings of the 1 st International Workshop on Software Analysis and Development for Pervasive Systems SONDA 2004 Mauricio
Interpretation-based Code Certification for Pervasive Systems: Preliminary Experiments∗ Elvira Albert School of Computer Science Complutense University of Madrid [email protected] Germán Puebla School of Computer Science Technical University of Madrid {german,herme}@fi.upm.es Manuel Hermenegildo Departments of Computer Science and Electrical and Computer Engineering University of New Mexico ABS...
متن کاملCheko : Aspect-Oriented Runtime Monitor Certification via Model-Checking (Extended Version)
In-lining runtime monitors into untrusted binary programs via aspectweaving is an increasingly popular technique for efficiently and flexibly securing untrusted mobile code. However, the complexity of the monitor implementation and in-lining process in these frameworks can lead to vulnerabilities and low assurance for code-consumers. This paper presents a machine-verification technique for aspe...
متن کاملIKOS: A Framework for Static Analysis based on Abstract Interpretation (Tool Paper)
The RTCA standard (DO-178C) for developing avionic software and getting certification credits includes an extension (DO-333) that describes how developers can use static analysis in certification. In this paper, we give an overview of the IKOS static analysis framework that helps developing static analyses that are both precise and scalable. IKOS harnesses the power of Abstract Interpretation a...
متن کاملIKOS: A Framework for Static Analysis Based on Abstract Interpretation
The RTCA standard (DO-178C) for developing avionic software and getting certification credits includes an extension (DO-333) that describes how developers can use static analysis in certification. In this paper, we give an overview of the IKOS static analysis framework that helps developing static analyses that are both precise and scalable. IKOS harnesses the power of Abstract Interpretation a...
متن کاملAspect-Oriented Runtime Monitor Certification
In-lining runtime monitors into untrusted binary programs via aspect-weaving is an increasingly popular technique for efficiently and flexibly securing untrusted mobile code. However, the complexity of the monitor implementation and in-lining process in these frameworks can lead to vulnerabilities and low assurance for code-consumers. This paper presents a machine-verification technique for asp...
متن کامل